COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;
∂01-Apr-82  1043	JMC  
To:   ota at S1-A 
That will be fine.  Because of lack of terminals, a telephone call to
Fran Larson 497-2800 is more reliable than a net message.  If you can't
get her (she's sometimes unavailable), a telephone call to the department
number will do it.

∂01-Apr-82  1142	JMC  
To:   FFL    
Dinner with Susie and Dan tonight?

∂01-Apr-82  1639	JMC  
To:   shapiro at YALE  
I just read your note, and I would have tried to use its contents.
However, the matter is settled for now.

∂01-Apr-82  1859	JMC  
To:   FFL    
Please print a copy of Marconi letter and include it in file.

∂02-Apr-82  0032	JMC  
To:   ota at S1-A 
I also must come back Sunday.

∂02-Apr-82  0049	JMC  
To:   CLT    
Have you taken the phone off the hook?

∂02-Apr-82  0134	JMC  	polylogarithm book review    
To:   RWG    
The review of "Polylogarithms and associated functions" in the
latest March 1982 Bulletin of the AMS is very illuminating to me.
You might find it so also.

∂05-Apr-82  1502	JMC  
To:   PJH    
I will also be taking some part in SRI's "Common sense month".

∂06-Apr-82  0212	JMC  
To:   ARK    
How to get accents in Scribe with Helvetica 10.

∂06-Apr-82  0938	JMC  	computer charges   
To:   RPG    
My opinion is that we should pay increased computer charges unless
they are unaffordable.  The sad fact is that running a computer is
expensive.

∂06-Apr-82  0943	JMC  
To:   EJS    
I have tried to phone Miller without result.  I'll try again.

∂06-Apr-82  0953	JMC  
To:   RWW, RPG    
 ∂06-Apr-82  0942	RWW  	new pricing for SAIL    
It seems to me that this new scheme has made SAIL almonst too costly to
continue doing much work.  Also its retroactive application seems unfair.
This continual change of rules is unacceptable.  I am seriously thinking
using SCORE or maybe the VAX.  Is there any form of relief short of stopping
using SAIL?  
Richard
I think we need to dig ourselves out of the hole by paying higher
prices for a while.  Do you have any information on what are the
relative costs of doing the same job on SCORE and SAIL?

∂06-Apr-82  1026	JMC  
To:   RWW    
Why don't you ask Marty or Ralph?

∂07-Apr-82  1614	JMC  
To:   FFL    
Please mail him a copy of the MAPS paper when it's ready.
Makowsky, J.A.	Computer Science Dept., Technion - Israel Institute
		of Technology,  Haifa, ISRAEL

∂07-Apr-82  2219	JMC  
To:   RPG    
Are we paying for Scott Kim?  We shouldn't be.

∂08-Apr-82  0035	JMC  	reference
To:   MDD    
If you could remind me to whom I sent previous letters of recommendation,
I could dredge out the old letter and refurbish it.

∂08-Apr-82  0145	JMC  	tail recursive cons
To:   RPG    
Prolog compiles definitions resembling

(defun append (u v) (if (null u) v (cons (car u) (append (cdr u) v))))

in a tail recursive way.  Namely, the cons is done before the
inner call of append and the result of the latter is rplacded in.
This avoids stack use.  It seems to me that much use of  progs  would
be avoided if Lisp did this.  One way of doing it is to transform the
source into an equivalent source using  rplacd  such as

(defun append (u v) (if (null u) v (let (w (cons (car u) v))
	(app1 w w (cdr u)))))

(defun app1 (w z u) (if (null u) w (let (zz (cons (car u) (cdr z)))
	(app1 w (cdr (rplacd zz (cdr u)))))))

or something like that.

∂08-Apr-82  1055	JMC  
To:   Colmerauer at MIT-MULTICS  
I plan to arrive in Marseilles on Air Inter 6463 at 8:10pm on Sunday
April 11.  Please acknowledge receiving this message to JMC@SU-AI if
you know how.

∂08-Apr-82  1131	JMC  
To:   FFL    
renew.82[w82,jmc] is the text for my NSF renewal proposal.

∂08-Apr-82  1145	JMC  
To:   FFL    
To get DAVIS.RE1[let,jmc]
 ∂02-Apr-82  1448	MDD   via NYU  
Thank you.  The inquiry I expect would come from Professor Duncan Buell,
Computer Science Department, Louisiana State University,
Baton Rouge, LA 70803. -Martin

∂08-Apr-82  1146	JMC  
To:   FFL    
 ∂03-Apr-82  0939	MDD   via NYU  
On second thought, please send the letter to LSU without waiting
for their request.  Please also send one to: Professor Norman Gibbs,
Computer Science Department, Arizona State University, Tempe, AZ 85287.7 7

∂08-Apr-82  1404	JMC  
To:   JK
Chien agreed to deal directly with Betty Scott.

∂09-Apr-82  1424	JMC  
To:   TW
I need my copy of the Prolog book by 4pm Saturday to take on my trip.

∂09-Apr-82  1549	JMC  	abstract 
To:   FFL    
The abstract is page 3 of MAPS[E81,JMC].  You can move it to the beginning
or to a separate file according to convenience.  I have also changed two
occurrences of  B  to  D  on line 207 of the source file.

∂09-Apr-82  1605	JMC  
To:   TW
You're in luck.  A copy for Zohar came today, and since he's away, I
can borrow that.

∂09-Apr-82  1641	JMC  
To:   FFL    
cocke.1

∂09-Apr-82  2359	JMC  
To:   FFL    
Please send MAPS to Prof. Rod Burstall, Edinburgh University, Edinburgh, UK.

∂10-Apr-82  1554	JMC  
To:   FFL    
Please make out invoices for

March 30 and 31, III technical committee.  The expenses were
air travel, parking, Stanford - San Jose driving and return
and one motel night at $40.00.

Also Livermore consulting Monday April 5 and a half day Thursday
April 8.  $6.30 meals first day and no meals second day.

I forgot to ask for reimbursement for dinnner for Shapiro and others.
It was $91.60 and is CSD recruiting expense.

I suppose you can send the invoices to France for me to sign.

∂10-Apr-82  1640	JMC  →15131 (20-Jun-82)  
To:   "#___JMC.PLN[2,2]"    
I will be in Marseilles, France until May 8, at Imperial College, London
until June 6, and in New York till June 10.  Fran Larsen (FFL) will know
how to reach me.

∂12-May-82  0812	JMC  
%score Didn't anyone tell you I'm in Europe till June 20.

∂12-May-82  1244	JMC   via USC-ISID  
To:   csd.dorio at SU-SCORE 
Did no-one tell you I'm in Europe till about June 20?

∂12-May-82  1246	JMC   via USC-ISID  
To:   FFL    
I can now log in from London and will check computer mail.

∂12-May-82  1247	JMC   via USC-ISID  
To:   CLT    
I can now log in from London and will check computer mail.  However, ...

∂12-May-82  1248	JMC   via USC-ISID  
To:   CLT    
I can't yet send control characters.  I have to go through ISID, so ...

∂12-May-82  1250	JMC   via USC-ISID  
To:   CLT    
I need to know how to make TOPS-20 TELNET send control characters, ...

∂12-May-82  1251	JMC   via USC-ISID  
To:   CLT    
preferably without having to send them from London.  How are things,

∂12-May-82  1253	JMC   via USC-ISID  
To:   CLT    
especially your thesis and Susie?  I'm making good progress on my ...

∂12-May-82  1254	JMC   via USC-ISID  
To:   CLT    
meta-prolog stuff, but Kowalski and one of his students have ideas ...

∂12-May-82  1255	JMC   via USC-ISID  
To:   CLT    
that may or may not be similar.  There are two kinds of meta-prolog, ...

∂12-May-82  1258	JMC   via USC-ISID  
To:   CLT    
syntactic and semantic.  The syntactic form can re-arrange clauses ...

∂12-May-82  1259	JMC   via USC-ISID  
To:   CLT    
as in the postponement heuristic but doesn't see the values of ...

∂12-May-82  1300	JMC   via USC-ISID  
To:   CLT    
variables.  The semantic form, my new discovery of what is needed ...

∂12-May-82  1301	JMC   via USC-ISID  
To:   CLT    
to do the Kempe transformations, doesn't change the program but ...

∂12-May-82  1302	JMC   via USC-ISID  
To:   CLT    
when called by an "introspect predicate" uses a data-base of ...

∂12-May-82  1304	JMC   via USC-ISID  
To:   CLT    
in which the variables of the program are regarded as constants ...

∂12-May-82  1306	JMC   via USC-ISID  
To:   CLT    
i.e. symbols, and have the current state of the ...

∂13-May-82  0312	JMC  
To:   DEK at SU-AI, llw at S1-A  
I'll try to do something adequate about the SAIL financial situation
in June, about the 20th, when  I am back from France and England.
I'm now reachable by computer mail at the old stand.  In order to do
what is required, I may need active support from DEK.  

However, if what is genuinely required for computer service exceeds
what has been budgeted, money intended for hireing people may be used.
Both ARPA and NSF permit this, without special permission dI believe.

∂14-May-82  0946	JMC  
To:   JJW    
OK, I'll hope to see you and find out your state of mind around
June 1j0xxx 10 when I'll be back for a few days.  How is the EKL
manual coming?

∂14-May-82  0947	JMC  
To:   FFL    
Thanks.  No loss about Dallas.

∂17-May-82  0727	JMC   via USC-ISID  
To:   REG at SU-AI, GHG at SU-AI 
Can't we protest these frequent chilled water shutdowns?

∂17-May-82  0731	JMC   via USC-ISID  
To:   CLT    
Yes to Julius Baker recital.

∂17-May-82  0752	JMC  
To:   PJH    
 ∂05-Apr-82  0830	PJH   via ROCHESTER 	visit    
hi john. with luck we will be visiting SRI in july. I hope you will be in town
so we can talk about many things.
pat

I will also be taking some part in SRI's "Common sense month".

∂17-May-82  1405	JMC  
To:   FFL    
 ∂17-May-82  1002	FFL  
To:   JMC, FFL    
The office downstairs is asking for your textbooks for next year's CS206.
They presently have listed the Maclisp Manuals, Vols. l-3 (set) from
MIT.  Are there changes or additions.  Want to know by the 22nd.


Ask RPG whether there is anything different with respect to
Maclisp manuals, i.e. is there a new edition?  LISP: Programming
and Proving  may or may not have a new edition.

∂17-May-82  1438	JMC   via USC-ISID 	workshop on theorem jproving  
To:   JK
I think perhaps you should go to the workshop on theorem jproving
in New York June 7-10.  Have you considered it?

∂17-May-82  1457	JMC   via USC-ISID  
To:   EJS    
How is DD replacement coming?

∂18-May-82  0841	JMC   via USC-ISID 	for Peter Szeredi   
To:   warren at SRI-AI 
Hello David - I am waiting for your answers on DEC-10.
If you are busy, send a short message when can I expect the answers.
       Peter Szeredi

∂19-May-82  0423	JMC   via USC-ISID 	visitor   
To:   FFL    
I plan to invite Dr. Keith Clark of Imperial College to visit for 3 weeks
ending July 31.  I would like to get Faculty Club accomodation for him.
If the Faculty Club can't house him for the full three weeks, the last
part of the period is preferable, because his wife will join him.  I
want to pay him expenses including his own air fare but I'll need
ARPA permission.  Please find out from Betty Scott what has to be done.
Come to think of it, the permission may have to come from John Machado of
ONR, since maybe they handle such bureaucratic problems now.  Clark
has B1 and B2 visas, so there will be no visa problem with paying his
expenses.

∂20-May-82  0909	JMC   via USC-ISID 	your paper
To:   JDH    
I have read your writeup of K and Q vs. K and R.  It is satisfactory
for the comprehensive.  I'm mailing it back to you with comments.  I
hope you will be willing to make a CS report out of it, because I
think the information you have obtained is valuable even in its
present form, although I have made suggestions for improvements in
my comments.  I enclose a certifiction with the copy I mailed,
but I suggest you ask the Comprehensive Committee to accept the
net message.  I didn't take the program listings with me, because they
were to bulky, but I'll look at them when I return.

∂20-May-82  0917	JMC   via USC-ISID 	common sense formalizers 
To:   PJH    
I'm at Imperial College till June 5.  Are there any people in UK working
on formalizing common sense that I should  make a special effort to see?
Incidentally, I have some results on controlling logic jprograms by
having xxxx having an introspective logic program look at the values
of variables and change them.

∂20-May-82  0924	JMC   via USC-ISID  
To:   JK
Have you thought about attending NY Automatic Deduction Workshop?

∂20-May-82  1004	JMC   via USC-ISID  
To:   CLT    
Hi. Regards from Rod Burstall.

∂21-May-82  0926	JMC   via S1-A 
To:   TWE at SU-AI
Is Dialnet actually working?

∂21-May-82  0942	JMC  
To:   FFL    
 ∂19-May-82  1037	FFL  	CLARK VISIT   
To:   JMC, FFL    
To pay his expenses (no salary/honorarium) it is essential that Dr. Clark have
a B-1 visa (or a J-1).  B-2 does not allow payment of any kind.

Please be sure he uses a US flag carrier or fare is not allowable.

In case you wish to explain to Dr. Clark, per diem in Palo Alto is $75.  Room
charge for one at the Tiki Motel is $45 plus tax; for two $49 plus tax.  If you
(or he) wish, he can keep all hotel and meal receipts to be reimbursed in that
manner rather than by per diem.

I have made a room reservation for him at the Tiki Motel, starting July ll
through July 31.  Please let me know if these dates are OK.  The Department will
be liable for hi arrival on July 11.  (The Faculty Club is filled by conferences
through July.)

I have requested $1,238 from ARPA for the fare; $2,100 for expenses.  $1,238 is
standard coach fare.  Apex is $1,070.  The request will go through the ONR
representative on campus, Robin Simpson.  I have told him that Dr. Clark is an
eminent researcher in Formal Reasoning and that you wish to continue work which
you have begun with him in London this spring.


You have done just right with regard to Clark invitation.  You have given the



   


right reason for the invitation.  He mentioned having B-1, but I'll

check again.  You understand that we're not asking ARPA for more

money but merely for permission to spend money they have already

given us for this purpose.

∂21-May-82  0947	JMC  
To:   FFL    
 ∂19-May-82  1426	FFL  
To:   JMC, FFL    
Is Bill Gosper's computer usage account to be charged to your ARPA account?
Beginning April 1, it is costing you $175.  Also Robert Wolf's charges are
$54.94; Les Earnest's $82.81; Pat Hayes' $18.22.  And should Porto's files
be canceled?
  They are presently costing $89.59.



Ask Gosper to reduce files and be careful of login hours.

Tell Robert Wolf and Les Earnest I can't pay for them.

Continue Pat Hayes as is, but ask him if he still needs it.

Cancel Porto files unless Carolyn knows a reason for keepingthem.

∂21-May-82  0951	JMC  
To:   EJS    
Talk to TOB and with me after I return June 20.  I can't do anything

from England through a knothole.

∂21-May-82  0953	JMC  
To:   JK
Just tell Fran I suggested it.

∂21-May-82  0956	JMC  
To:   GHG at SU-AI
re Spinrad. Record my dissent from systems' emphasis.

∂21-May-82  1000	JMC   via S1-A 
To:   FFL    
See if you can arrange some secretary coverahge for me your vacation.

∂21-May-82  1002	JMC   via S1-A 
To:   TOB    
No. I have irregular net access from London.  Back about June 20.

∂24-May-82  0716	JMC   	Advising
To:   csd.golub at SU-SCORE 
 ∂21-May-82  1645	Irmgild Schack <CSD.IRMGILD at SU-SCORE> 	Advising
Date: 21 May 1982 1637-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Advising
To: faculty at SU-SCORE
cc: csd.armer at SU-SCORE, csd.trickey at SU-SCORE, csd.weening at SU-SCORE

From our general discussion of the comprehensive and the educational policy
of the department, it appears to me that student advising has not been very
satisfactory.  This seems to be because the faculty is not always
accessible or knowledgeable and the students are sometimes hesitant or
possibly uninterested in being advised.

PLAN: Each year a Graduate Advisor is designated for the entire class of
entering Ph.D. students.  It is his/her obligation to watch over each
student until that student enters candidacy.  The student must have the
signature of the Graduate Advisor in order to register.  The Advisor would
have the position for at most two years and would not have any other major
committee obligations.

I think this would give the Department and the students a better understanding
of each student's progress.  The Advisor would monitor each student by
examining not only the students grades but the quality and breadth of their
education.

Any comments?

GENE
-------


Graduate advisors sound like a good idea.  However, if the Advisor had firm
tastes in computer science, the advice given might oscillate.

I have no objections to systems as a subject, but emphasizing systems in faculty
appointements has been chasing a will-o-the-wisp in the past and will probably
be the same in the future.

∂25-May-82  0903	JMC  
To:   FFL at SU-AI, bscott at SU-SCORE
 ∂24-May-82  0917	FFL  
To:   JMC, FFL    
Betty has arranged for secretarial coverage for you.


I hope that whoever Betty gets will at least know how to use SAIL.

∂26-May-82  0411	JMC  
To:   CLT    
 ∂25-May-82  0958	CLT  
martha needs to know the expiration date on your visa card


Visa good till last day of 6-82

∂26-May-82  0717	JMC  
To:   FFL    
Tell John Cocke I'll write when I return and remind me then.

∂26-May-82  0720	JMC  
To:   FFL    
I keep forgetting that this LES account contains only files left
over from his work for us.  Ask him what they are and for advice.

∂26-May-82  0724	JMC  
To:   FFL    
Make list of AP files and close account.We can restore if needed.

∂26-May-82  0727	JMC  
To:   bobrow at PARC-MAXC   
I assent to producing more issues.

∂26-May-82  0731	JMC  
To:   MEW
CC:   CLT   
Carolyn Talcott has given at least three seminars, each of which meets
the requirement.

∂27-May-82  0925	JMC   via USC-ISID  
To:   JMC    
Dr. (John) Colin Adams, D.EC. 110 Spit Brook RD,Nashua03061 performance